Modeling Real-Time Systems-Challenges and Work Directions
نویسنده
چکیده
Reactive machine + Environment +Time constraints Logical (internal) time Consistency pbs-timelocks Time constraints on interactions Execution times as specified Usually, timeless atomic
منابع مشابه
Detecting and counting vehicles using adaptive background subtraction and morphological operators in real time systems
vehicle detection and classification of vehicles play an important role in decision making for the purpose of traffic control and management.this paper presents novel approach of automating detecting and counting vehicles for traffic monitoring through the usage of background subtraction and morphological operators. We present adaptive background subtraction that is compatible with weather and ...
متن کاملStochastic human fatigue modeling in production systems
The performance of human resources is affected by various factors such as mental and physical fatigue, skill, and available time in the production systems. Generally, these mentioned factors have effects on human reliability and consequently change the reliability of production systems. Fatigue is a stochastic factor that changes according to other factors such as environmental conditions, work...
متن کاملMarkovian Delay Prediction-Based Control of Networked Systems
A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...
متن کاملChallenges, Promising Solutions and Open Problems of Cyber- Physical Systems
Cyber physical systems(CPS) include a lot of high complexity computing such as physical aspect modeling, dynamic analysis and verification of continuous dynamic property, analysis and verification of real-time property, analysis and verification of spatial property, scheduling and non-functional requirements. The correctness of computing results of cyber physical systems not only meets the time...
متن کاملPatient Engagement and its Evaluation Tools – Current Challenges and Future Directions; Comment on “Metrics and Evaluation Tools for Patient Engagement in Healthcare Organization- and System-Level Decision-Making: A Systematic Review”
Considering the growing recognition of the importance of patient engagement in healthcare decisions, research and delivery systems, it is important to ensure high quality and efficient patient engagement evaluation tools. In this commentary, we will first highlight the definition and importance of patient engagement. Then we discuss the psychometric properties of the patient engagement evaluati...
متن کامل